; * src/doc.c: Add a 'coding' cookie.

diff --git a/src/doc.c b/src/doc.c
index 655b9117d6df7afc6a69001faa84de7fc6219617..78a7815aade229f19c6421027e0e40317ef6a853 100644 (file)
--- a/src/doc.c
+++ b/src/doc.c
@@ -1,4 +1,4 @@
-/* Record indices of function doc strings stored in a file.
+/* Record indices of function doc strings stored in a file. -*- coding: utf-8 -*-
 
 Copyright (C) 1985-1986, 1993-1995, 1997-2015 Free Software Foundation,
 Inc.